1. Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
پدیدآورنده : J. Shinoda, T.A. Slaman, T. Tugue, eds,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Logic, Symbolic and mathematical - Congresses
رده :
QA
.
L28
,
no
3
.
1388